广生灭过程的积分型随机泛函

讨论了广生灭过程的积分型随机泛函的概率分布，给出了分布的拉氏变换所满足的差分方程，且求出了它们的解     

稳像火控中目标角速度测量误差及滤波方法

对稳像火控系统中目标角速度的测量过程进行了分析,指出采用自动传感器测量目标角速度仍存在误差,且对射击诸元的影响较大;在计算机采集数据的有限时间段内,该误差序列为均值不为零的随机干扰噪声,采用均值—中值加权滤波方法可有效减小该嗓声对射击诸元影响.     

固体零温零压密度的估算

固体在零温零压下的密度是一个重要的物态参数。本文利用Ｄｅｂｙｅ理论给出了零温零压密度的一种估算方法,并对８２种物质的零温零压密度进行了计算。     

Client/Server 模式的智能语言集成框架

将ＡＩ技术集成到主流信息技术之中是提高信息系统智能化水平的一项十分重要的基础性工作。本文讨论一种Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算环境（简称ＣＳＥ）,它将Ｐｒｏｌｏｇ系统和Ｃｌｉｐｓ系统作为两种特殊的数据服务系统集成其中。ＣＳＥ支持客户应用使用确定的ＡＰＩ,以规范的Ｐｒｏｌｏｇ语言（或Ｃｌｉｐｓ语言）形式请求Ｐｒｏｌｏｇ服务器（或Ｃｌｉｐｓ服务器）提供问题求解服务。文章阐述了这一设计的合理性,讨论了ＣＳＥ的体系结构和实现技术,说明了与特殊数据服务无关的通信机制、ＡＩ语言服务器的挂接技术以及ＣＳＥ应用。     

KDM 智能车的数学模型研究

本文确定了对载车数学模型构造方法,并试图以KDM-1移动机器人作为实例,用非完整系统力学当作分析工具,通过实验获得模型数据,并由实车行驶进行检验,几个重要参数由仿真试验校核。数学模型的仿真与室内的行车试验相对比的结果比较一致。对同类载车数学模型的建立提供了有效的方法。     

论刘少奇抗日根据地政权建设思想

刘少奇根据地政权建设的思想理论和实践十分丰富,是无产阶级政权建设思想的重要组成部分。其主要内容包括:抗日根据地建设的核心是民主政权建设;抗日民主政权建设的关键是民主政治建设;坚持党的领导是巩固民主政权的根本保障。在抗日战争的艰苦岁月里,刘少奇亲自主持了华中抗日根据地的政权建设,打开了华中抗日游击战争的新局面,为中国民主政权建设作出了突出贡献。     

Parallel machine scheduling with batch deliveries to minimize total flow time and delivery cost

Motivated by the flow of products in the iron and steel industry, we study an identical and parallel machine scheduling problem with batch deliveries, where jobs finished on the parallel machines are delivered to customers in batches. Each delivery batch has a capacity and incurs a cost. The objective is to find a coordinated production and delivery schedule that minimizes the total flow time of jobs plus the total delivery cost. This problem is an extension of the problem considered by Hall and Potts, Ann Oper Res 135 (2005) 41–64, who studied a two‐machine problem with an unbounded number of transporters and unbounded delivery capacity. We first provide a dynamic programming algorithm to solve a special case with a given job assignment to the machines. A heuristic algorithm is then presented for the general problem, and its worst‐case performance ratio is analyzed. The computational results show that the heuristic algorithm can generate near‐optimal solutions. Finally, we offer a fully polynomial‐time approximation scheme for a fixed number of machines. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 492–502, 2016     

精密坐标镗床CNC系统研究

介绍了作者研制的通用ＣＮＣ系统,该系统以ＡＳＴ３８６作为控制器,采用ＰＷＭ驱动直流伺服电机,并配以软、硬件接口;文中对该系统的主要组成部分作了分析,在此基础上应用传统的ＰＩＤ控制方法设计数字控制器;最后通过实验验证了该系统的输出响应和控制器的性能。     

"里斯本丸"沉船事件研究

本文详尽阐述和探讨了发生在抗战时期的“里斯本丸”沉船事件,充分揭露了日本法西斯囚俘虐俘的凶残本性,展现了中国人民不惜自我牺牲冒死救援盟军的高尚精神。     

装备采购中的信息不对称问题及其对策研究

装备采购中存在着严重的信息不对称,减少装备采购中的信息不对称问题是一项重要的工作,在介绍装备采购中非对称信息的基础上,运用博弈论的数学工具建立起装备采购中非对称信息博弈的模型图,并给出了减少非对称信息问题的博弈模型,提高了装备采购的效益.